Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_16 (Sun Microsystems Inc.) Main-Class: Exc1

/**
 * An infinite loop continously throwing and catching an exception.
 * Since the exception is thrown before the statement that makes the loop
 * progress, that loop diverges.
 *
 * The call to <tt>main()</tt> diverges.
 *
 * Julia + BinTerm cannot prove that the call to <tt>main()</tt> terminates.
 *
 * @author <A HREF="mailto:[e-mail]">Fausto Spoto</A>
 */

public class Exc1 {
    public static void main(String[] args) {
	int i = 0;

	while (true) {
	    try {
		if (i > 10) throw null;
		i++;
	    }
	    catch (NullPointerException e) {}
	}
    }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 63 and 90 are repetitions.
0:

<Exc1.main||0: push 0|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

1:

<Exc1.main||1: store INT to i|| - ||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

2:

<Exc1.main||2: load INT i||i: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

3:

<Exc1.main||3: push 10||i: 0||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

4:

<Exc1.main||5: LE||i: 0||0, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

5:

<Exc1.main||10: increment i by 1||i: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

6:

<Exc1.main||13: jmp||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

7:

<Exc1.main||2: load INT i||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

8:

<Exc1.main||3: push 10||i: 1||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

9:

<Exc1.main||5: LE||i: 1||1, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

10:

<Exc1.main||10: increment i by 1||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

11:

<Exc1.main||13: jmp||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

12:

<Exc1.main||2: load INT i||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

13:

<Exc1.main||3: push 10||i: 2||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

14:

<Exc1.main||5: LE||i: 2||2, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

15:

<Exc1.main||10: increment i by 1||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

16:

<Exc1.main||13: jmp||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

17:

<Exc1.main||2: load INT i||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

18:

<Exc1.main||3: push 10||i: 3||3>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

19:

<Exc1.main||5: LE||i: 3||3, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

20:

<Exc1.main||10: increment i by 1||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

21:

<Exc1.main||13: jmp||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

22:

<Exc1.main||2: load INT i||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

23:

<Exc1.main||3: push 10||i: 4||4>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

24:

<Exc1.main||5: LE||i: 4||4, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

25:

<Exc1.main||10: increment i by 1||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

26:

<Exc1.main||13: jmp||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

27:

<Exc1.main||2: load INT i||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

28:

<Exc1.main||3: push 10||i: 5||5>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

29:

<Exc1.main||5: LE||i: 5||5, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

30:

<Exc1.main||10: increment i by 1||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

31:

<Exc1.main||13: jmp||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

32:

<Exc1.main||2: load INT i||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

33:

<Exc1.main||3: push 10||i: 6||6>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

34:

<Exc1.main||5: LE||i: 6||6, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

35:

<Exc1.main||10: increment i by 1||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

36:

<Exc1.main||13: jmp||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

37:

<Exc1.main||2: load INT i||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

38:

<Exc1.main||3: push 10||i: 7||7>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

39:

<Exc1.main||5: LE||i: 7||7, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

40:

<Exc1.main||10: increment i by 1||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

41:

<Exc1.main||13: jmp||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

42:

<Exc1.main||2: load INT i||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

43:

<Exc1.main||3: push 10||i: 8||8>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

44:

<Exc1.main||5: LE||i: 8||8, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

45:

<Exc1.main||10: increment i by 1||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

46:

<Exc1.main||13: jmp||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

47:

<Exc1.main||2: load INT i||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

48:

<Exc1.main||3: push 10||i: 9||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

49:

<Exc1.main||5: LE||i: 9||9, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

50:

<Exc1.main||10: increment i by 1||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

51:

<Exc1.main||13: jmp||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

52:

<Exc1.main||2: load INT i||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

53:

<Exc1.main||3: push 10||i: 10||10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

54:

<Exc1.main||5: LE||i: 10||10, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

55:

<Exc1.main||10: increment i by 1||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

56:

<Exc1.main||13: jmp||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

57:

<Exc1.main||2: load INT i||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

58:

<Exc1.main||3: push 10||i: 11||11>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

59:

<Exc1.main||5: LE||i: 11||11, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

60:

<Exc1.main||8: push NULL||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

61:

<Exc1.main||9: throw||i: 11||#>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

62:

<Thrown exception: #||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

63:

<Thrown exception: #||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)

64:

<java.lang.NullPointerException.<init>()V||0: load ADDR this||this: o355|| ->
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

65:

<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>()V|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

66:

<java.lang.RuntimeException.<init>()V||0: load ADDR this||this: o355|| ->
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

67:

<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>()V|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

68:

<java.lang.Exception.<init>()V||0: load ADDR this||this: o355|| ->
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

69:

<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>()V|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

70:

<java.lang.Throwable.<init>()V||0: load ADDR this||this: o355|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

71:

<java.lang.Throwable.<init>()V||1: java.lang.Object.<init>()V||this: o355||o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

72:

<java.lang.Throwable.<init>()V||4: load ADDR this||this: o355|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

73:

<java.lang.Throwable.<init>()V||5: load ADDR this||this: o355||o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

74:

<java.lang.Throwable.<init>()V||6: Write to cause||this: o355||o355, o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)

75:

<java.lang.Throwable.<init>()V||9: load ADDR this||this: o355|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

76:

<java.lang.Throwable.<init>()V||10: java.lang.Throwable.fillInStackTrace()Ljava/lang/Throwable;|| - ||o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

77:

<java.lang.Throwable.<init>()V||13: pop|| - ||o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

78:

<java.lang.Throwable.<init>()V||14: return|| - || ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

79:

<java.lang.Exception.<init>()V||4: return|| - || ->
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

80:

<java.lang.RuntimeException.<init>()V||4: return|| - || ->
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

81:

<java.lang.NullPointerException.<init>()V||4: return|| - || ->
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

82:

<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

83:

<Exc1.main||16: store ADDR to e||i: 11||o355>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

84:

<Exc1.main||17: jmp||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

85:

<Exc1.main||2: load INT i||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

86:

<Exc1.main||3: push 10||i: 11||11>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

87:

<Exc1.main||5: LE||i: 11||11, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

88:

<Exc1.main||8: push NULL||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

89:

<Exc1.main||9: throw||i: 11||#>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

90:

<Thrown exception: #||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

(2) NO